Search Results for ''

published presentations and documents on DocSlides.

Modeling Enforcement Mechanisms with Security Automata

by luanne-stotts

Jay . Ligatti. University of South Florida. Runti...

A Theory of Runtime Enforcement,

by cheryl-pisano

with Results. Jay . Ligatti. and . Srikar. Redd...